Abstract algebraic logic - PDFSEARCH.IO - Document Search Engine

Abstract algebraic logic
Results: 173

#	Item
131	Notes on Model Checking and Abstraction in Rewriting Logic∗ Jos´e Meseguer Miguel Palomino Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2004-08-30 16:16:42 Deduction Linear temporal logic Algebraic topology Model checking Entailment Admissible rule Abstract interpretation Kripke structure Interpretation Logic Mathematical logic Temporal logic
132	81. Arbeitstagung Allgemeine Algebra 81st Workshop on General Algebra University of Salzburg, February 3 – 6, 2011 Add to Reading List Source URL: www.math.tu-dresden.de Language: English - Date: 2011-02-28 11:54:36 Algebraic structures Fuzzy logic Lattice theory Universal algebra Mathematical logic Clone Monoidal t-norm logic Residuated lattice MV-algebra Abstract algebra Mathematics Algebra
133	h:/Daten/AAA81Programme_final.dvi Add to Reading List Source URL: www.math.tu-dresden.de Language: English - Date: 2011-02-28 11:53:45 Algebraic structures Algebraic logic Mathematical logic Universal algebra Fuzzy logic Residuated lattice Clone Subalgebra Lattice Mathematics Abstract algebra Algebra
134	AAA 78 - Conference Schedule Friday June 12, Morning Add to Reading List Source URL: www.math.tu-dresden.de Language: English - Date: 2010-02-17 05:37:55 Algebraic structures Lattice theory Fuzzy logic Universal algebra Mathematical logic Distributive lattice Clone Residuated lattice Boolean algebra Abstract algebra Mathematics Algebra
135	AAA76 – Preliminary Schedule of Lectures Friday, May 23rd, Morning The talks are scheduled for 20 (or 50) minutes in length, followed by a 5 minute discussion Add to Reading List Source URL: www.math.tu-dresden.de Language: English - Date: 2008-06-05 03:52:49 Algebra Lattice theory Fuzzy logic Algebraic structures Distributive lattice Variety Lattice BL Monad Universal algebra Abstract algebra Mathematics
136	Chapter 1 Digital Logic Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2006-08-27 15:19:16 Abstract algebra Propositional calculus Algebraic logic Logical connectives Semantics Truth table Logic gate Negation Propositional formula Mathematics Mathematical logic Boolean algebra
137	Computer Organization II[removed] Add to Reading List Source URL: educypedia.karadimov.info Language: English - Date: 2000-09-19 06:40:44 Mathematics Algebraic logic Logic in computer science Propositional calculus Logic Karnaugh map Canonical form Boolean function Truth table Boolean algebra Mathematical logic Abstract algebra
138	ON THE DECOMPOSITION THEOREMS OF ALGEBRA By 0YSTEIN ORE, Yale University. Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:20:06 Mathematics Field Abelian group Emmy Noether Mathematical logic Group Ring Boolean algebra Linear algebra Abstract algebra Algebra Algebraic structures
139	Symposium on the Add to Reading List Source URL: www.corelab.ntua.gr Language: English - Date: 2012-02-22 16:06:00 Field theory Formal systems Real algebraic geometry Algebraic structures Model theory Real closed field Axiom Field Peano axioms Mathematics Abstract algebra Mathematical logic
140	Free Heyting algebras: revisited N. Bezhanishvili1⋆ 1 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2013-01-22 10:09:34 Mathematical logic Algebraic structures Mathematical constructivism Order theory Boolean algebra Heyting algebra Distributive lattice Lattice Intuitionistic logic Mathematics Abstract algebra Lattice theory

UPDATE